$\forall$$A$,$B$:$\mathbb{P}$. ($A$ $\wedge$ $B$) $\Leftarrow\!\Rightarrow$ ($B$ $\wedge$ $A$)